Stemming -- The Evolution and Current State with a Focus on Bangla
arxiv.org·1d
🔤Morphological Analysis
A string formatting library in 65 lines of C++
riki.house·10h·
Discuss: Lobsters, Hacker News
✅Format Verification
Saleae Analyzer for the BDM protocol
zetier.com·2d
🔬Binary Analysis
Show HN: Tabwise – AI data analyst that outperforms ChatGPT and Claude
tabwise.ai·15h·
Discuss: Hacker News
⚡Proof Automation
Derek Elkins: Arithmetic Functions
hedonisticlearning.com·7h
⚔️Lean Theorem
Harper Evolves
elijahpotter.dev·2d·
Discuss: Hacker News, Hacker News
📝Concrete Syntax
Zero Context Exhaustion: Building Production-Ready AI Coding Teams with Claude Code Sub-agents
dev.to·5h·
Discuss: DEV
✨Effect Handlers
Rewriting Modulo Traced Comonoid Structure
arxiv.org·2d
🔄Graph Rewriting
Rebuilding Babel: The Tokenizer (2022)
nan.fyi·19h·
Discuss: Hacker News
🔗Concatenative Programming
LLMs are NOT Turing Complete (at train time), we need "train time recurrence"
fchaubard.github.io·4h·
Discuss: Hacker News
📼Tape Combinators
From Unstructured Data to RAG-Ready With Docling
thenewstack.io·1d
🤖Archive Automation
Simpler Category Theory
ryanbrewer.dev·2d·
Discuss: Hacker News
🔀Category Theory
Get Back To WARP
binary.ninja·13h
🧪Binary Fuzzing
Developing a Custom Query Language with ANTLR and Elasticsearch
blog.scottlogic.com·3d
📋Document Grammar
Building a Regex Engine
abstractsyntaxseed.com·2d·
Discuss: Lobsters, Hacker News
🔍RegEx Engines
My tips for using LLM agents to create software
efitz-thoughts.blogspot.com·5h·
Discuss: Hacker News
⚡Proof Automation
Contrasting Data and Objects (2018)
tedinski.com·2d·
Discuss: Hacker News
💻Programming languages
Cracking the Density Code: Why MAF Flows Where KDE Stalls
towardsdatascience.com·13h
🔗Tailscale
Benchmarking Computer Science Survey Generation
arxiv.org·1d
⚙️Compression Benchmarking
Knowledge Graph-Infused Fine-Tuning for Structured Reasoning in Large Language Models
arxiv.org·2d
📋Document Grammar